условие контроля программы

1) Техника: условие контроля программы

2) Вычислительная техника: условие верификации, верифицирующее условие (в технике доказательства правильности программ)

1. vacuum cooling - вакуумное охлаждение;

2. valuable cargo - ценный груз;

3. variable capacitor - конденсатор переменной ёмкости;

4. verification condition - условие контроля программы;

5. Vice-Chairman - вице-председатель; заместитель председателя;

6. video correlator - видеокоррелятор;

7. vinylchloride - винилхлорид;

8. virtual channel - виртуальный канал;

9. virtual circuit - виртуальная цепь; виртуальный канал;

10. virtual container - виртуальный контейнер;

11. visitors center - демонстрационный центр;

12. vital capacity - жизненная ёмкость;

13. voltage comparator - компаратор напряжений; сравнивающее устройство по напряжению;

14. voltage compensator - компенсатор напряжения;

15. voltage/current converter - преобразователь "напряжение-ток";

16. volume control - регулирование объёма

 

конкретизация
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

• энергетика в целом

EN

• specification

 

подробное описание
-
[Интент]

Параллельные тексты EN-RU

Allows users and data center professionals to learn from specifications generated by the world's leading experts on the subject.
[APC]

Пользователи, а также персонал ЦОДа имеют возможность учиться на примере подробных описаний, подготовленных ведущими мировыми специалистами в данной области.
[Перевод Интент]

EN

• specification

 

требования технические
ТТ
Обязательные для исполнения в рамках договора требования к разрабатываемой или поставляемой продукции и услуге, определяющие ее назначение и технические характеристики.
[РД 01.120.00-КТН-228-06]

Параллельные тексты EN-RU

If the above products do not meet your needs, please contact us with your specifications.
[Delta Electronics]

Если перечисленные выше изделия не подходят для вашего проекта – сообщите нам соответствующие технические требования.
[Перевод Интент]

Тематики

• проектирование, документация

Синонимы

• ТТ

EN

• design definition
• engineering requirements
• engineering specification
• performance objective
• performance requirements
• requirement
• requirements list
• requirements specifications
• specification
• specification requirements
• specifications
• standard
• technical characteristics
• technical demands
• technical requirements

 

технические характеристики
Ряд номинальных параметров или условий эксплуатации.
[ ГОСТ Р МЭК 60050-426-2006]

технические характеристики
-
[Интент]

Тематики

• взрывозащита
• проектирование, документация

EN

• characteristics
• data
• duty specifications
• engineering characteristic
• engineering data
• engineering specifications
• performance
• performance capability
• performance specification
• performance specifications
• rating
• specification
• specifications
• specifications manual
• TDS
• technical capability
• technical characteristics
• technical data
• technical data sheet
• technical details
• technical features
• technical performance
• technical specifications
• technical standards
• technical statement
• techspecs

FR

• caractéristiques generales
• caractéristiques techniques

 

техническое условие
Документ, устанавливающий технические требования, которым должна удовлетворять продукция, процесс или услуга.
[ ГОСТ Р 1.12-99]
[Система неразрушающего контроля. Виды (методы) и технология неразрушающего контроля. Термины и определения (справочное пособие). Москва 2003 г.]

Тематики

• виды (методы) и технология неразр. контроля

EN

• specification

3.7.3 спецификация (specification): Документ (3.7.2), устанавливающий требования (3.1.2).

Примечание - Спецификации могут относиться к деятельности (например, процедурный документ, спецификация на процесс или спецификация на испытание) или продукции (3.4.2) (например, технические условия на продукцию, эксплуатационная документация и чертежи).

Источник: ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь оригинал документа

спецификация (specification): Перечень испытаний, ссыпок на аналитические методики и соответствующие критерии приемлемости, устанавливающие числовые границы, диапазоны или другие критерии для указанных испытаний. Спецификация устанавливает критерии, которым должен соответствовать материал для того, чтобы его можно было применять по назначению. Материал соответствует требованиям спецификации, если при испытаниях по принятым аналитическим методам он удовлетворяет установленным критериям приемлемости.

Источник: ГОСТ Р 52249-2009: Правила производства и контроля качества лекарственных средств оригинал документа

4.1.16 спецификация (specification): Документ, устанавливающий требования к продукции.

Источник: ГОСТ Р 54235-2010: Топливо твердое из бытовых отходов. Термины и определения оригинал документа

3.21 спецификация (specification): Документ, определяющий в полной, точной, проверяемой форме требования, дизайн, поведение или другие свойства системы либо компонента и, зачастую, процедуры для определения, выполняются ли эти требования.

[МЭК 60880, пункт 3.39]

Источник: ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа

3.2.1.1 спецификация (specification): Документ, устанавливающий требования.

[ИСО 9000:2005, пункт 3.7.3]

Примечание 1 - Документ, содержащий информацию о требованиях, может быть размещен на бумажном носителе, компьютерном диске или представлять собой образец изделия.

Примечание 2 - Обычно для этого термина необходимы уточнения. Примерами спецификаций являются спецификации на продукцию, процесс и функциональная спецификация.

Примечание 3 - В выборочном контроле при приемке партия может быть принята, поскольку она соответствует критериям приемки партии, но некоторые единицы продукции в выборке или партии могут не соответствовать требованиям к продукции.

Примечание 4 - По возможности требования необходимо выражать количественно в соответствующих единицах с границами поля допуска. В противном случае необходимо устанавливать критерий, применяемый для экспертизы и принятия решения при контроле. Критерий может быть задан в виде эталонного экземпляра продукции, эталонной выборки или фотографии. Критерий показывает минимально приемлемую или неприемлемую продукцию, вид и/или степень несоответствия, которые недопустимы.

Источник: ГОСТ Р ИСО 21747-2010: Статистические методы. Статистики пригодности и воспроизводимости процесса для количественных характеристик качества оригинал документа

3.39 спецификация (specification): Документ, определяющий в полной, точной, проверяемой форме требования, дизайн, поведение или другие свойства системы либо компонента, и, зачастую, процедуры для определения, выполняются ли эти требования.

[IEEE 610]

Примечание - Существуют различные типы спецификаций, например, спецификация требований к ПО или спецификация проекта.

Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа

3.60 спецификация (specification): Документ, определяющий в полной, точной, проверяемой форме требования, дизайн, поведение или другие свойства системы либо компонента, и, зачастую, процедуры, для определения, выполняются ли эти требования.

[МЭК 60880-2, 3.21 и IEEE 610] [1]

Источник: ГОСТ Р МЭК 61513-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Общие требования оригинал документа

3.7.3 спецификация (specification): Документ (3.7.2), устанавливающий требования (3.1.2).

Примечание - Спецификации могут относиться к деятельности (например, процедурный документ, спецификация на процесс или спецификация на испытание) или продукции (3.4.2) (например, технические условия на продукцию, эксплуатационная документация и чертежи).

Источник: ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь

Технология программирования и отладки программ

49. Спецификация программы

Specification

Формализованное представление требований, предъявляемых к программе, которые должны быть удовлетворены при ее разработке, а также описание задачи, условия и эффекта действия без указания способа ее достижения

Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа

3.2.52 нормативная и техническая документация (specification): Документы, устанавливающие требования.

Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа

49. Спецификация программы

Specification

Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа

 

взятие замеров
отбор проб
взятие образцов
извлечение проб
отбор образцов
взятие проб
опробование
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]

Тематики

• нефтегазовая промышленность

Синонимы

• отбор проб
• взятие образцов
• извлечение проб
• отбор образцов
• взятие проб
• опробование

EN

• sampling

 

выбор дискретных данных
дискретное представление непрерывной величины
стробирование
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]

Тематики

• нефтегазовая промышленность

Синонимы

• дискретное представление непрерывной величины
• стробирование

EN

• sampling

 

выборка
Поиск и выдача предложения, которое есть в информационной базе или концептуальной схеме или выводится из предложений, имеющихся в них
[ ГОСТ 34.320-96]

выборка
Процесс выделения и получения данных либо программы из массива либо множества.
Рассматриваемое понятие охватывает три типа процессов.
Первый из них заключается в поиске по команде и переписывании данных либо программы из внешней памяти в оперативную память либо из оперативной памяти в регистры. Этот процесс охватывает формирование и исполнение команды.
Второй процесс определяет выполнение процедур, связанных с поиском информации, необходимой пользователям. Здесь понятие "выборка" включает поиск в файлах либо Базах Данных (БД) нужных сведений, упорядочение найденного, его отображение на экране либо распечатку на компьютере.
Третий процесс связан с такой выборкой данных из множества, которая в заданном смысле его представляет. Например, для целей статистики. Этот процесс используется также при преобразовании аналогового сигнала в цифровой сигнал. Для этого значения первого измеряются через выбранные промежутки времени.
[Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса]
[ http://www.morepc.ru/dict/]

Тематики

• базы данных

EN

• retrieval
• sampling

 

выборочное исследование
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

• энергетика в целом

EN

• sampling

 

выборочные методы
Методы математической статистики, при которых статистические свойства совокупности каких-либо объектов (генеральной совокупности) изучаются на основе исследования свойств лишь части этой совокупности — объектов, отобранных беспристрастно случайным образом или по правилам, в конечном счете также сводящимся к случайному отбору (см. Выборка). Необходимость прибегать к таким методам объясняется либо невозможностью, либо экономической невыгодностью исследования всей генеральной совокупности. (Невозможно, например, определить среднюю долговечность электрических лампочек сплошным обследованием — для этого пришлось бы пережечь все лампы). Способ отбора объектов, решающее условие качества выводов из любого выборочного исследования, во многом определяется особенностями предмета исследования. Среди изучаемых характеристик чаще всего фигурируют доля объектов с тем или иным признаком в совокупности или средняя величина признака (а также некоторые другие характеристики). При первом подходе задача состоит в выяснении, обладает ли отобранный объект тем или иным свойством или характеристикой (например, при выборочной отбраковке важно установить, является ли данное изделие годным или браком); при втором — речь идет о количественном определении переменной, т.е. измерении некоторой характеристики отобранных объектов (например, об измерении среднего веса отливок определенного типа). Главной проблемой в любом В.м. является то, насколько уверенно можно по свойствам отобранных объектов судить о действительных свойствах генеральной совокупности. Поэтому всякое такое суждение неизбежно имеет вероятностный характер, и задача сводится к тому, чтобы степень вероятности правильного суждения (точности статистических оценок) была возможно большей. Разумеется, увеличение размера выборки при прочих равных условиях дает большую уверенность, но поскольку нужна возможно меньшая выборка, в математической статистике вырабатываются способы, которые либо обеспечивают повышение точности оценок при фиксированном размере выборки, либо позволяют уменьшить размер выборки, требуемой для получения заданной точности. В экономике В.м. используются как в наблюдении экономических явлений, так и в экономическом эксперименте, как в научных исследованиях, так и непосредственно в производстве (характерным примером здесь является выборочный контроль качества изделий). Особенно широко их применение в демографических, социологических исследованиях. Например, в практике аудита или оценки бизнеса – В.М. — процесс или процедура проверки не всех, а некоторой части изучаемых объектов, на основе которой можно сделать выводы обо всей совокупности таких объектов. Целесообразность применения В.м. определяется объемом работ по аудиту или оценке (если он очень велик) и возможностью получения достаточно надежных результатов при меньших затратах на его проведение.
[ http://slovar-lopatnikov.ru/]

Тематики

• экономика

EN

• sampling
• selection method

 

дискретивация
взятие отсчетов
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

• электросвязь, основные понятия

Синонимы

• взятие отсчетов

EN

• sampling

 

дискретизация сигнала электросвязи но времени
Преобразование сигнала электросвязи, при котором сигнал представляется совокупностью его значений в дискретные моменты времени.
[ ГОСТ 22670-77]

Тематики

• сети передачи данных

Синонимы

• дискретизация

EN

• sampling

 

изготовление образцов
подготовка образцов
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

• энергетика в целом

Синонимы

• подготовка образцов

EN

• sampling

 

опрос телеметрируемого параметра
опрос
Процесс определения текущих значений телеметрируемого параметра в некоторые моменты времени с целью формирования сообщений об этом параметре.
[ ГОСТ 19619-74] 

Тематики

• телемеханика, телеметрия

Синонимы

• опрос

EN

• sampling

 

отбор пробы вещества [материала] (объекта аналитического контроля)
Ндп. пробоотбор
Отделение части вещества [материала] объекта аналитического контроля с целью формирования пробы для последующего определения ее состава, структуры и/или свойств. 
[ ГОСТ Р 52361-2005]

Недопустимые, нерекомендуемые

• пробоотбор

Тематики

• контроль объекта аналитический

Обобщающие термины

• отбор и подготовка проб

EN

• sampling

 

проведение анализа
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

• энергетика в целом

EN

• sampling

 

семплинг
Распространение образцов товара. Акция, заключающаяся в бесплатном (или по низкой цене) предложении потребителю товара с целью стимулирования его постоянного использования. Два неизменных атрибута: собственно товар плюс симпатичные девушки, которые улыбаются вам, именно вам, только вам и обещают незабываемый вкус и райское наслаждение. В перспективе. А для начала – попробовать эту замечательную жевательную резинку, сигарету, кусочек или рюмочку еще чего-нибудь. Кто-то еще не был жертвой семплинговой атаки? Тогда вы сильно отстали от жизни, поскольку в последнее время симпатичные барышни стали не только бессменным атрибутом и интерьером почти всех супермаркетов, но и встречают вас у метро по утрам и вечерам.
[ http://www.lexikon.ru/rekl/a_eng.html]

Тематики

• реклама

EN

• sampling

3.2 отбор проб (sampling): Все операции, необходимые для получения пробы, представляющей содержимое любого трубопровода, резервуара или другой емкости, и помещения такой пробы в контейнер, из которого может быть взят представительный образец для анализа.

Источник: ГОСТ Р 52659-2006: Нефть и нефтепродукты. Методы ручного отбора проб оригинал документа

26. Дискретизация сигнала электросвязи по времени

Дискретизация

Sampling

Преобразование сигнала электросвязи, при котором сигнал представляется совокупностью его значений в дискретные моменты времени

Источник: ГОСТ 22670-77: Сеть связи цифровая интегральная. Термины и определения оригинал документа

3.3 отбор образцов (sampling): Процедура, используемая для формирования выборки рулонов из партии для приготовления образцов и проведения испытаний третьей стороной (см. рисунок 1).

1 - партия; 2 - выборка; 3 - полоса материала; 4 - образцы для испытаний

Рисунок 1 - Схема отбора образцов

Источник: ГОСТ Р ЕН 13416-2008: Материалы кровельные и гидроизоляционные гибкие битумосодержащие и полимерные (термопластичные или эластомерные). Правила отбора образцов

4.2.13 отбор проб (sampling): Процесс извлечения и составления проб.

Примечание - См. ГОСТ Р 50779.10-2000.

Источник: ГОСТ Р 54235-2010: Топливо твердое из бытовых отходов. Термины и определения оригинал документа

4.1 отбор образцов (sampling): Извлечение образцов, представляющих объект оценки соответствия, согласно процедуре (3.2).

Источник: ГОСТ Р ИСО/МЭК 17000-2009: Оценка соответствия. Словарь и общие принципы оригинал документа

3.1.3 отбор выборки (sampling): Процесс извлечения или составления выборки.

Источник: ГОСТ Р ИСО 11648-1-2009: Статистические методы. Выборочный контроль нештучной продукции. Часть 1. Общие принципы оригинал документа

3.1.3 отбор выборки (sampling): Процесс извлечения или составления выборки.

Источник: ГОСТ Р ИСО 11648-2-2009: Статистические методы. Выборочный контроль нештучной продукции. Часть 2. Отбор выборки сыпучих материалов оригинал документа

1) Общая лексика: притязание, суждение, утверждение, отстаивание, положительное утверждение или декларация, часто без поддержки или причины: простое утверждение

2) Техника: установление уровня сигнала

3) Математика: высказывание, предложение, тезис, формулировка

4) Юридический термин: защита (прав), заявление

5) Экономика: заявление (прав, претензий)

6) Бухгалтерия: отстаивание (прав)

7) Лингвистика: ассерция, констатация

8) Психология: уверенность в себе

9) Вычислительная техника: оператор контроля, условие

10) Патенты: заявление (прав)

11) Аудит: в российских стандартах аудита - предпосылка подготовки финансовой (бухгалтерской) отчетности

12) Программирование: факт, добавленный в базу данных (при исполнении программы), (утвердительное) суждение, доказательство существования, оператор подтверждения отсутствия ошибок, подтверждение, постулирование существования, правило, добавленное в базу данных (при исполнении программы)

13) Макаров: истинное логическое выражение, логическое выражение, утверждение (суждение)